(open boot)
(fetch r boot)
(fetch pump boot)
(inflate r)
(put-away pump boot)
(fetch wrench boot)
(fetch jack boot)
(loosen nuts the-hub)
(jack-up the-hub)
(undo nuts the-hub)
(remove-wheel w the-hub)
(put-away w boot)
(put-on-wheel r the-hub)
(do-up nuts the-hub)
(jack-down the-hub)
(put-away jack boot)
(tighten nuts the-hub)
(put-away wrench boot)
(close boot)
; cost = 19 (unit cost)
